Wednesday, April 19

• Undecidability